margin-punched card - German English Dictionary